FDL - Nuprl Lemma : ma-empty-sub

Nuprl Lemma : ma-empty-sub

M:MsgA.

M

Definitions t T, Top, x:A. B(x), x. t(x), P & Q, A & B, Valtype(da;k), mk-ma, MsgA, M1 M2,

Lemmas msga wf, fpf-empty-sub, IdLnk wf, Knd wf, Id wf